A Compositional World a survey of recent works on compositionality in formal methods
نویسنده
چکیده
We survey the most significant literature about compositional techniques for concurrent and real-time system verification. We especially focus on abstract frameworks for rely/guarantee compositionality that handles circularity, but also consider different developments.
منابع مشابه
Compositionality, context, and cognition: comment on "Embodied language, best fit analysis, and formal compositionality" by J. Feldman.
Feldman’s project [1] has the ambitious goal of giving a compositional account of the “full range of meanings” in human language, one which meets the high standards of formalization found in formal semantics but is built on a theory of “embodied cognition”, takes into account the neurobiological substrate of language, and makes use of representations of world knowledge and discourse and situati...
متن کاملAn introduction to compositional methods for concurrency and their application to real-time
Formal methods to spozify and verify concurrent programs with synchronous message passing are discussed. We stress the development towards compositional methods, i.e. methods in which the specification of a compound program can be inferred from specifications of its constituents without reference to the internal structure of those parts. Compositionality enables verification during the process ...
متن کاملCompositionality, of, word-formation
One of the criteria generally applied in distinguishing lexical processes from syntactic ones is compositionality: the standard assumption is that syntactic processes have transparent (compositional) semantics while word-formation is semantically opaque. In this paper I will argue that this assumption is false: certain processes which are generally held to be syntactic are compositional only to...
متن کاملCompositionality in (high-dimensional) space
Formal semanticists have developed sophisticated compositional theories of sentential meaning, paying a lot of attention to those grammatical words (determiners, logical connectives, etc.) that constitute the functional scaffolding of sentences. Corpus-based computational linguists, on the other hand, have developed powerful distributional methods to induce representations of the meaning of con...
متن کاملA probabilistic framework for analysing the compositionality of conceptual combinations
Conceptual combination performs a fundamental role in creating the broad range of compound phrases utilized in everyday language. This article provides a novel probabilistic framework for assessing whether the semantics of conceptual combinations are compositional, and so can be considered as a function of the semantics of the constituent concepts, or not. While the systematicity and productivi...
متن کامل